#verificación de premisas